# -*- mode: snippet -*-
# name: Program Lemma
# key: pl
# uuid: pl
# --
Program Lemma $1 : $2.
Proof.
$3
Qed.
